Frege’s correlation
نویسنده
چکیده
Dummett, M. 1991. Logical Basis of Metaphysics. London: Duckworth. Gentzen, G. 1969. Untersuchungen über das logische Schliessen. In The Collected Papers of Gerhard Gentzen, tr. M. Szabo, 68–131. Amsterdam: North-Holland. Prawitz, D. 1977. Meaning and proofs: on the conflict between intuitionistic and classical logic. Theoria. 43: 2–40. Prior, A. 1960–61. The Runabout inference ticket. Analysis 21: 38–39. Tennant, N. 1978. Natural Logic. Edinburgh: Edinburgh University Press. Tennant, N. 1987. Antirealism and Logic. Oxford: Clarendon Press.
منابع مشابه
Cantor on Frege’s Foundations of Arithmetic Cantor’s 1885 review of Frege’s Die Grundlagen der Arithmetik
In 1885, Georg Cantor published his review of Gottlob Frege’s Grundlagen der Arithmetik. In this essay we provide its first English translation together with an introductory note. We also provide a translation of a note by Ernst Zermelo on Cantor’s review, and a new translation of Frege’s brief response to Cantor. In recent years it has entered philosophical folklore that Cantor’s 1885 review o...
متن کاملFrege’s Theory of Sense and Reference: Some Exegetical Notes
Frege’s theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known ‘unlearnability’ argument against Frege’s theory. The present paper argues that the key to Frege’s theory lies in the fact that whenever a reference is specified (even thou...
متن کاملAmending Frege’s Grundgesetze der Arithmetik [draft]
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of redu...
متن کاملThe Inferential Significance of Frege’s Assertion Sign
Frege’s celebrated distinction between judgments and their contents invites the Tractarian denigration of his assertion sign as merely indicating the holding or putting forth as true of a thought, for whatever its other merits the marking of such an event seems of little relevance to a thought’s inferential significance. However, in light of (a) Frege’s conception of a logically correct languag...
متن کامل@bullet @bullet
l. Overview 2. The Language of Logic and Mathematics 3. Sense, Reference, Compositionality, and hierarchy 4. Frege’s Logic 5. Frege’s Philosophy of Mathematics 5.1. Critique of Naturalism, Formalism, and Psychologism 5.2. Critique of Kant 5.3. Frege’s Definition of Number 5.3.1. Numerical Statements Are about Concepts 5.3.2. But Numbers Are Objects 5.3.3. Objects and Identity 5.3.4. The Number ...
متن کاملIs Hume's Principle Analytic?
One recent ‘neologicist’ claim is that what has come to be known as “Frege’s Theorem”—the result that Hume’s Principle, plus second-order logic, suffices for a proof of the Dedekind-Peano postulate—reinstates Frege’s contention that arithmetic is analytic. This claim naturally depends upon the analyticity of Hume’s Principle itself. The present paper reviews five misgivings that developed in va...
متن کامل